[XEN] Revert changes to dom0 domain builder made by cset 11226.
authorIan Campbell <ian.campbell@xensource.com>
Tue, 22 Aug 2006 17:47:29 +0000 (18:47 +0100)
committerIan Campbell <ian.campbell@xensource.com>
Tue, 22 Aug 2006 17:47:29 +0000 (18:47 +0100)
commit46b2b91e50fa84a4bbe7d9eb6c34751cea835498
treec1fd8020db0bc5032095a10d8cba3cc58df8c37a
parentb1851948f1a53e12739c040930a0b8b05a647b3e
[XEN] Revert changes to dom0 domain builder made by cset 11226.

We require that the dom0 domain builder still sets _PAGE_USER.

Signed-off-by: Ian Campbell <ian.campbell@xensource.com>
xen/arch/x86/domain_build.c